homotopy addition

同伦加法